An Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models
نویسندگان
چکیده
Kurzfassung: Seit mehreren Jahren wird an einer stärkeren Integration von modellbasierter Systementwicklung und Sicherheitsanalyse geforscht. In diesem Paper werden ein Ansatz und ein Werkzeug zur besseren und frühzeitigen Verzahnung zwischen der Systementwicklung und der Sicherheitsanalyse präsentiert. Im Vordergrund des Ansatzes steht die Verknüpfung der in der Industrie etablierten Werkzeuge für die Systemmodellierung (Matlab Simulink) und die Sicherheitsanalyse (Enterprise Architect). Ziel war es, die hierarchische Struktur von Komponenten-Fehlerbäumen (engl. Component Fault Trees/ CFTs) aus existierenden Simulink-Modellen zu generieren. Ein Transformationsalgorithmus, welcher die hierarchische Struktur und Signalflussinformationen von Simulink-Modellen analysiert und anschließend CFT-Rahmen mit möglichen Fehlermodi in Abhängigkeit von den in Simulink vordefinierten Signaltypen bildet, wurde im Rahmen einer Masterarbeit entwickelt. Anhand eines Fallbeispiels an einem vereinfachten elektrischen Antriebs für E-Fahrzeuge werden in diesem Paper die Vorgehensweise des Ansatzes sowie Erfolge und angetroffene Probleme erläutert.
منابع مشابه
Towards a Practicable Process for Automated Safety Analysis
Over the last ten years numerous approaches to automated safety analysis have emerged, motivated mainly by the increasing complexity of safety critical systems, the increased use of computer-based controllers in such systems and, ultimately, increased costs associated with manual safety analysis. These approaches have attracted significant interest (and funding) from industry. Furthermore, nume...
متن کاملA MATLAB / SIMULINK BASED FAULT ANALYSIS OF SMALL HYDROPOWER PLANT
ABSTRACTRenewable Energy Sources (RES) are well – defined as energy sources, that are in abundance within the natural surroundings and are much inexhaustible. In addition, hydroelectricity (HE) is a vital part of world renewable energy supply and hydropower remains a bulk source of electricity generation because of its environmental friendliness in nature. Modeling is the analysis of the ...
متن کاملA Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA technology. In this paper, we describe a new tool for the automatic synthesis of FMEAs which builds upon our earlier work on fault tree synthesis. The tool constructs FMEAs from engineering diagrams (e.g. developed in M...
متن کاملMutation-Based Test Case Generation for Simulink Models
The Matlab/Simulink language has become the standard formalism for modeling and implementing control software in areas like avionics, automotive, railway, and process automation. Such software is often safety critical, and bugs have potentially disastrous consequences for people and material involved. We define a verification methodology to assess the correctness of Simulink programs by means o...
متن کاملSimulink fault localization: an iterative statistical debugging approach
Debugging Simulink models presents a significant challenge in the embedded industry. In this work, we propose SimFL, a fault localization approach for Simulink models by combining statistical debugging and dynamic model slicing. Simulink models, being visual and hierarchical, have multiple outputs at different hierarchy levels. Given a set of outputs to observe for localizing faults, we generat...
متن کامل